Nuprl Definition : crng
11,40
postcript
pdf
crng{i:l} == {
r
:rng{i:l}| comm(rng_car(
r
); rng_times(
r
))}
latex
Definitions
rng{i:l}
,
comm(
T
;
op
)
,
rng_car(
r
)
,
rng_times(
r
)
origin